Context-free grammar

Results: 363



#Item
61Mathematical games / Polyforms / Mathematics / Polyomino / Analysis of algorithms / Formal languages / Stochastic context-free grammar / Logarithm / Best /  worst and average case

Staged Self-Assembly and Polyomino Context-Free Grammars? Andrew Winslow?? Department of Computer Science, Tufts University,

Add to Reading List

Source URL: www.eecs.tufts.edu

Language: English - Date: 2013-11-14 23:09:11
62Statistics / Sequence alignment / HMMER / BLAST / Hidden Markov model / Smith–Waterman algorithm / BLOSUM / Pfam / Stochastic context-free grammar / Bioinformatics / Science / Computational phylogenetics

A Probabilistic Model of Local Sequence Alignment That Simplifies Statistical Significance Estimation Sean R. Eddy* Howard Hughes Medical Institute, Janelia Farm Research Campus, Ashburn, Virginia, United States of Ameri

Add to Reading List

Source URL: selab.janelia.org

Language: English - Date: 2014-09-02 13:41:13
63Mathematical logic / Theoretical computer science / Tree automaton / Tree / Linear temporal logic / First-order logic / Finite-state machine / Context-free grammar / T-tree / Automata theory / Mathematics / Formal languages

An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email:

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2013-09-27 07:35:34
64Formal languages / Computing / Automata theory / Models of computation / Parsing / Lexical analysis / Context-free grammar / Parse tree / Regular expression / Programming language implementation / Software engineering / Compiler construction

Automatic construction of parse trees for lexemes ∗ Danny Dub´e Anass Kadiri Universit´e Laval

Add to Reading List

Source URL: schemeworkshop.org

Language: English - Date: 2011-08-12 16:48:41
65Programming language implementation / Software engineering / Parsing / XML / LL parser / LR parser / Document Type Definition / Context-free grammar / Deterministic context-free grammar / Formal languages / Computing / Compiler construction

Foundations of Fast Communication via XML Welf Löwe, Markus L. Noga, Thilo S. Gaul Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe Postfach 6980, 76128 Karlsruhe, Germany E-mail: {loewe |

Add to Reading List

Source URL: welf.se

Language: English - Date: 2013-04-23 05:41:26
66Mathematics / Computing / Formal languages / Law of total probability / Context-free grammar

Computation of Substring Probabilities in Stochastic Grammars Ana L. N. Fred Instituto de Telecomunicac~oes Instituto Superior Tecnico IST-Torre Norte, Av. Rovisco Pais, Lisboa, Portugal

Add to Reading List

Source URL: www.lx.it.pt

Language: English - Date: 2010-07-24 14:01:22
67Grammar / Context-free grammar / Formal grammar / LL parser / Regular expression / Pattern / Pattern theory / Controlled grammar / Formal languages / Combinatorics / Software engineering

Developing multi-level grammars in a framework of information compression by multiple alignment, unification and search Gerry Wolff CognitionResearch.org.uk Menai Bridge, UK.

Add to Reading List

Source URL: www.cognitionresearch.org

Language: English - Date: 2012-01-09 18:06:09
68Applied mathematics / LR parser / LL parser / Formal grammar / Humanoid robot / Context-free grammar / Robotics / Walking / Robot locomotion / Formal languages / Theoretical computer science / Software engineering

Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Center for Robotics and Intelligent Machines, Georgia Institute of Techn

Add to Reading List

Source URL: www.bipedalrobotics.com

Language: English - Date: 2013-09-11 12:34:33
69Mathematics / Deterministic pushdown automaton / Parsing / Computability / Context-free grammar / Context-free language / Formal grammar / Finite-state machine / Recursive language / Formal languages / Theoretical computer science / Theory of computation

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Add to Reading List

Source URL: langsec.org

Language: English - Date: 2011-12-01 11:57:54
UPDATE